finite automata questions